University of Oslo - PDFSEARCH.IO - Document Search Engine

University of Oslo
Results: 811

#	Item
51	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
52	An Alias-Free, Object-Oriented Language Concept Olaf Owe Department of Informatics University of Oslo, Norway March 1988 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:22:06 Software engineering Computer programming Computing Data types C++ Subroutines Parameter Variable Scope Assignment Simula Const
53	The syntax of the OUN language Olaf Owe Department of Informatics, University of Oslo, Norway February 21, 2002 Contents Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-05-04 07:55:02 Software Computing System software Expr Seq ECL programming language
54	The University of Oslo (Norway) St. Petersburg Representative Office May 26, 2016 Developing a Curriculum for a Joint Norwegian-Russian Master Program in Arctic Studies Add to Reading List Source URL: www.st-petersburg.uio.no Language: English Arctic University of Oslo International relations Oslo University of Troms Politics of Russia Arctic cooperation and politics Northern Sea Route
55	University of Oslo Faculty of Humanities Department of philosophy, classics, history of art and ideas Intertextuality in Greek and Roman Literature: Problems, Challenges and Possibilities Add to Reading List Source URL: oxfordbyzantinesociety.files.wordpress.com Language: English - Date: 2016-07-11 14:45:08 Humanities Intertextuality Post-structuralism Text Transmediation Classics Philosophy
56	Towards Scalable and Realistic Node Models for Network Simulators Stein Kristiansen, Thomas Plagemann, Vera Goebel Department of Informatics, University of Oslo, Gaustadalléen 23 D, N-0373, Oslo, Norway {steikr, plagem Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2011-08-01 22:52:16 Wireless networking Telecommunications engineering Computer networking Modeling and simulation Network simulation Routing Wireless ad hoc network Communications protocol Packet forwarding Simulation Ns Mobile ad hoc network
57	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
58	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-06-08 08:30:38 Object-oriented programming Inheritance Method Subtyping Liskov substitution principle Is-a Class Eiffel Monad Subroutine Covariance and contravariance
59	Across the Pacific The 20th annual conference of the New Zealand Studies Association together with the Norwegian Maritime Museum and the Kon-Tiki Museum, Oslo in association with the University of South Australia Add to Reading List Source URL: www.nzsa.co.uk Language: English - Date: 2016-03-30 17:37:35 Polynesian culture Mori culture Thor Heyerdahl Pre-Columbian trans-oceanic contact Mori mythology Kon-Tiki expedition Polynesia Kon-Tiki Mori people Waka Tiki Witi Ihimaera
60	An Operational Semantics of Cache Coherent Multicore Architectures∗ Shiji Bijo, Einar Broch Johnsen, Ka I Pun, and S. Lizeth Tapia Tarifa University of Oslo, Norway {shijib, einarj, violet, sltarifa}@ifi.uio.no Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2016-01-07 10:39:37 Cache coherency Parallel computing Computer architecture Computer memory computing CPU cache MSI protocol Coherent cache Cache MESI protocol Multi-core processor Draft:Cache memory